x := 1;
y := 2;

define second proc(r)
   x := 2;
   x := x + y;
   return := r
end;

define first proc(q)
   y := 3;
   m := second(0);
   return := q
end;

n := first(0);
z := x
